Reification of Program Points for Visual Execution
نویسندگان
چکیده
Existing reification techniques for Java only allow for inspection and manipulation of Java programs on the class, object and method level, but not at the level of individual program points. In this paper we introduce a reification technique of program points based on source-tosource transformations. Our reification method allows for the association of arbitrary meta-information with program points and to manipulate it during execution. We present examples of the innovative use of such reified program points for visualizing the execution of Java programs.
منابع مشابه
موازی سازی شبیه سازی پدیده ناپایداری دوجریانی به روش PIC
Two stream instability in plasma is simulated by PIC method. The execution time of the sequential and parallizable sections of the program is measured. The sequential program is parallelized with the help of the MPI functions. Then, the execution time of the sequential program versus the number of the grid points and the execution time of the parallel program on 3 and 5 processors versus the nu...
متن کاملThe study on opinion of medical teadhers in necessity of execution of community oriented medical education in medical sciences universities of Tehran in 1998.
Introduction. Community orientation is a concept that nowadays seems necessary for medicine related services. Although our country has some degree of progress in this policy but we are still far from ideal condition. There are some problems affecting our improvement in this policy such as lack of budget and deficiency of proper health care centers for COME. So, the investigator has...
متن کاملMostly Sound Type System Improves a Foundational Program Verifier
We integrate a verified typechecker with a verified program logic for the C language, proved sound with respect to the operational semantics of the CompCert verified optimizing C compiler. The C language is known to not be type-safe but we show the value of a provably mostly sound type system: integrating the typechecker with the program logic makes the logic significantly more usable. The comp...
متن کاملEvaluating the Cleaning Program Efficacy in ICU Ward of General Hospital Using Visual and Microbial Approaches
Background & Aims of the Study: Hospital infectious is one of the major causes of mortality among the hospitalized cases. The interior environment status of hospitals has the important rule in microbial transmission. Translocation of the infectious agents may be essentially due to contacts between patients and contaminated interior environment. This work was performed to ...
متن کاملمکانیابی خطاهای پنهان نرم افزار با استفاده از آنتروپی متقاطع و مدلهای n-گرام
The aim is to automate the process of bug localization in program source code. The cause of program failure could be best determined by comparing and analyzing correct and incorrect execution paths generated by running the instrumented program with different failing and passing test cases. To compare and analysis the execution paths, one approach is clustering the paths according to their simil...
متن کامل